|
''Cinderella'' is a proprietary interactive geometry software, written in Java programming language. == History == Cinderella was initially developed by Jürgen Richter-Gebert and Henry Crapo and was used to input incidence theorems and conjectures for automatic theorem proving using the binomial proving method by Richter-Gebert. The initial software was created in Objective-C on the NeXT platform. In 1996, the software was rewritten in Java from scratch by Jürgen Richter-Gebert and Ulrich Kortenkamp. It still included the binomial prover, but was not suitable for classroom teaching as it still was prototypical. This version won the Multimedia Innovation Award at Learntec '97 in Karlsruhe, Germany. Due to this attention the German educational software publisher Heureka-Klett and the scientific publisher Springer-Verlag, Heidelberg, agreed to produce a commercial version of the software. The school version of Cinderella 1.0 was published in 1998, including about 150 examples, animations and exercises created with Cinderella, the university version was released in 1999. In 2006, a new version of Cinderella, Cinderella.2, was published in an online-only version. The printed manual for the now current version 2.6 has been published by Springer-Verlag in 2012. In 2013, the pro version of Cinderella has been made freely available. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Cinderella (software)」の詳細全文を読む スポンサード リンク
|